Supero: Making Haskell Faster

Source URL: ndmitchell.com

• Software engineering
• Computer programming
• Declarative programming
• Higher-order functions
• Programming language comparisons
• Functional languages
• Recursion
• Literate programming
• Fold
• Haskell
• Map
• XS

Counter-Example Complete Verification for Higher-Order Functions N. Voirol, E. Kneuss, V. Kuncak EPFL Scala Symposium 2015

Source URL: lampwww.epfl.ch

• Software engineering
• Computer programming
• Computing
• Data types
• Functional languages
• Functional programming
• Recursion
• Sorting algorithms
• Merge sort
• Scala
• List
• Cons

Deriving Generic Functions by Example

Source URL: ndmitchell.com

• Data types
• Functional programming
• Programming language comparisons
• Procedural programming languages
• Cons
• Lisp
• List
• Relational operator
• Map
• ALGOL 68
• Generalized algebraic data type

c ACM, 2009. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ° Not for redistribution. The definitive version was published in the Proceedings of the Haskell Sym

Source URL: ndmitchell.com

• Software engineering
• Declarative programming
• Computer programming
• Lambda calculus
• Functional programming
• Subroutines
• Formal methods
• Theoretical computer science
• Combinatory logic
• Let expression
• Lambda lifting
• Anonymous function

Empir Software Eng DOIs10664x Do background colors improve program comprehension in the #ifdef hell? Janet Feigenspan · Christian Kästner · Sven Apel ·

Source URL: www.infosun.fim.uni-passau.de

• Programming language implementation
• Computer programming
• Object-oriented programming languages
• Functional languages
• Preprocessor
• Orthography
• Program comprehension
• Directive
• Conditional compilation
• Feature-oriented programming
• Fortran
• Readability

Implementing Value Classes in Dotty, a compiler for Scala Author: Guillaume Martres Doctoral Assistant: Dmitry Petrashko Supervisor: Martin Odersky EPFL

Source URL: guillaume.martres.me

• Software engineering
• Computing
• Computer programming
• Functional languages
• C++
• Object-oriented programming languages
• Data types
• Scala
• C Sharp
• C++ classes
• Constant
• Const

Instances for Free* Neil Mitchell www.cs.york.ac.uk/~ndm (* Postage and packaging charges may apply)

Source URL: ndmitchell.com

• Data types
• Software engineering
• Computing
• Computer programming
• Functional programming
• Type class
• Type theory
• Haskell features
• Boolean data type

A Supercompiler for Core Haskell Neil Mitchell and Colin Runciman University of York, UK, http://www.cs.york.ac.uk/~ndm Abstract. Haskell is a functional language, with features such as higher order functions and lazy ev

Source URL: ndmitchell.com

• Software engineering
• Mathematics
• Declarative programming
• Lambda calculus
• Functional programming
• Functions and mappings
• Let expression
• Embedding
• Monad
• Anonymous function

Higher-Order Functional Reactive Programming without Spacetime Leaks Neelakantan R. Krishnaswami Max Planck Institute for Software Systems (MPI-SWS)

Source URL: www.mpi-sws.org

Implicit Parallelism through Deep Language Embedding Alexander Alexandrov Asterios Katsifodimos Volker Markl

Source URL: stratosphere.eu

• Software engineering
• Computer programming
• Computing
• Higher-order functions
• Functional languages
• Concurrent programming languages
• Programming language comparisons
• Functional programming
• Apache Spark
• List comprehension
• Oz
• Monad